(Info-mode): Double each `%' in header line.

diff --git a/lisp/info.el b/lisp/info.el
index 800ee86cbeda8865ead1a80ac662225b4fa60037..28869c4f469072db08cbcfda58ccd6dbe7ea255b 100644 (file)
--- a/lisp/info.el
+++ b/lisp/info.el
@@ -2522,7 +2522,10 @@ Advanced commands:
   (make-local-variable 'Info-index-alternatives)
   (setq header-line-format
        (if Info-use-header-line
-           '(:eval (get-text-property (point-min) 'header-line))
+           '(:eval
+             (replace-regexp-in-string
+              "%" "%%"
+              (get-text-property (point-min) 'header-line)))
          nil)) ; so the header line isn't displayed
   (set (make-local-variable 'tool-bar-map) info-tool-bar-map)
   ;; This is for the sake of the invisible text we use handling titles.